Verification and Validation without Independence: a Recipe for Failure
نویسندگان
چکیده
Verification and validation (V&V) is a prominent technical area within simulation, attested to by the 12 tutorial sessions (including five advanced) included in the past ten Winter Simulation Conferences (WSCs). In recent WSCs the issue of Independent V&V (IV&V) has drawn increased attention, with sessions examining the perceived lack of use and little concern for the technique evinced within the simulation community. The objectives of this paper are four-fold: (1) to examine the current picture in software systems development, (2) to review the rationale, role and expressed need for IV&V, (3) to identify the benefits attendant in the insistence on the independent status of the activity, and (4) to respond to the usual criticisms of negative impacts on cost and schedule. While the treatment is couched in the more general software systems context, we contend that simulations represent prime candidates for IV&V application.
منابع مشابه
Verification and Validation of Common Derivative Terms Approximation in Meshfree Numerical Scheme
In order to improve the approximation of spatial derivatives without meshes, a set of meshfree numerical schemes for derivative terms is developed, which is compatible with the coordinates of Cartesian, cylindrical, and spherical. Based on the comparisons between numerical and theoretical solutions, errors and convergences are assessed by a posteriori method, which shows that the approximations...
متن کاملGenoM3 Templates: from Middleware Independence to Formal Models Synthesis
GenoM is an approach to develop robotic software components, which can be controlled, and assembled to build complex applications. Its latest version GenoM3, provides a template mechanism which is versatile enough to deploy components for different middleware without any change in the specification and user code. But this same template mechanism also enables us to automatically synthesize forma...
متن کاملInfluence of Internal Disputes among Kurdish Parties on the Failure of Independence of Iraqi Kurdistan
The Kurds were originally one of the original Iranian tribesmen who, during the Safavid rule, following the conflict between Shah Isma'il Safavi and Salim I, the king of the Ottoman Empire in the year 1514 on parts of Iran's territory which were Kurdish - called the Chaldoran War- were separated and joined to the Ottoman Empire's territory. These parts today include: today's Turkish Kurdistan, ...
متن کاملAutomated Abstraction of Labeled Petri Nets
Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of these systems is an increasingly important topic. Because these systems are used in safety-critical situations, even intermittent failures are unacceptable. Formal verification allows for comprehensive validation, but becomes unrealistically complicated for large models. This paper proposes cer...
متن کامل